Search Results
ICTAC2015 Summer School - Security and Information Flow - Session 4
ICTAC2015 Summer School - Security and Information Flow - Session 3
ICTAC2015 Summer School - Security and Information Flow - Session 2
ICTAC2015 Summer School - Formal Verification Techniques - Session 1
ICTAC2015 Summer School - Formal Verification Techniques - Session 2
PivotWall: SDN-Based Information Flow Control
19 Information Flow Analysis
Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approx.
CERIAS 2017-04-12- Information Flow Security in Practical Systems
Quantitative Information Flow - Annabelle McIver
USENIX Security '18 - FlowCog: Context-aware Semantics Extraction and Analysis...
Amal Ahmed Lecture 1, OPLSS 2016
